منابع مشابه
Parry Syllogisms
Parry discusses an extension of Aristotle’s syllogistic that uses four nontraditional quantifiers. We show that his conjectured decision procedure for validity for the extended syllogistic is correct even if syllogisms have more than two premises. And we axiomatize this extension of the syllogistic. 1 Background and motivation Parry [2] discusses an extension of the syllogistic in which sentenc...
متن کاملWholly Hypothetical Syllogisms
In antiquity we encounter a distinction of two types of hypothetical syllogisms. One type are the 'mixed hypothetical syllogisms'. The other type is the one to which the present paper is devoted. These arguments went by the name of 'wholly hypothetical syllogisms'. They were thought to make up a self-contained system of valid arguments. Their paradigm case consists of two conditionals as premis...
متن کاملComparative and quantitative syllogisms
Traditionally, syllogisms are arguments with two premises and one conclusion which are constructed by propositions of the form “All... are...” and “At least one... is...” and their respective negated versions. Unfortunately, the practical use of traditional syllogisms is quite restricted. On the one hand, the “All...” propositions are too strict, since a single counterexample suffices for falsi...
متن کاملDynamic Reasoning with Qualified Syllogisms
A gualij%e~ syllogism is a classical Aristoteiean syllogism that has been “qualified” through the use of fuzzy quantifiers, likelihood modifiers, and usuality modifiers, e.g., “Most birds can Ry; Tweety is a bird; therefore, it is likely that Tweety can fly.” This paper introduces a formal logic Q of such syllogisms and shows how this may be employed in a system of nonmonotonj~ reasoning. In pr...
متن کاملEquivalence of Syllogisms
We consider two categorical syllogisms, valid or invalid, to be equivalent if they can be transformed into each other by certain transformations, going back to Aristotle, that preserve validity. It is shown that two syllogisms are equivalent if and only if they have the same models. Counts are obtained for the number of syllogisms in each equivalence class. To make the development more natural,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1985
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093870928